#ifndef __TLB__
#define __TLB__

#define DEFINE_TLB_INVALIDATE(ins)                      \
static inline void tlb_invalidate_##ins() {             \
    do {                                                \
	    asm volatile("tlbi "#ins"":::"memory");         \
    } while(0);                                         \
}

DEFINE_TLB_INVALIDATE(VMALLE1IS)

static inline void arch_tlb_invalidate_all() {
    tlb_invalidate_VMALLE1IS();
}

#endif /* __TLB__ */